Modal algebra

Results: 105



#Item
41Propositional calculus / Rules of inference / Automated theorem proving / Boolean algebra / Equational logic / First-order logic / Mathematical proof / Modal logic / Modus ponens / Logic / Mathematical logic / Mathematics

Information Processing ELSEVIER Letters

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-08-21 10:39:22
42Boolean algebra / Philosophical logic / Semantics / Logical connectives / Interpretation / Modal logic / If and only if / Truth / Material conditional / Logic / Propositional calculus / Mathematical logic

Beth Too, But Only If Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in Analysis 65:[removed]), 224–229] Instructions. Today’s test will be on the conditional connect

Add to Reading List

Source URL: www.columbia.edu

Language: English - Date: 2005-07-31 12:17:26
43Boolean algebra / Semantics / Logical connectives / Material conditional / Relevance logic / Proposition / Truth table / Negation / Modal logic / Logic / Propositional calculus / Philosophical logic

Some Remarks on Stoic Logic Nino B. Cocchiarella For Class 1 C Students of Professor Giuseppe Addona Stoicism is an ancient school of philosophy. It was founded by Zeno of Citium in Cyprus around 300 B.C. Except for frag

Add to Reading List

Source URL: www.ontologymirror.com

Language: English - Date: 2013-12-29 04:16:49
44Philosophical logic / Boolean algebra / Social choice theory / Discursive dilemma / Negation / Modal logic / Double negation / Truth / Proposition / Logic / Mathematical logic / Propositional calculus

The theory of judgment aggregation: An introductory review Christian List (August 2009, revised in January[removed]Forthcoming in Synthese

Add to Reading List

Source URL: personal.lse.ac.uk

Language: English - Date: 2011-11-28 17:51:19
45Matrix theory / Quantum mechanics / Quantum information science / Density matrix / Eigendecomposition of a matrix / Quantum state / Eigenvalues and eigenvectors / Holomorphic functional calculus / Algebra / Linear algebra / Mathematics

Continuity and Discontinuity of Definite Properties in the Modal Interpretation. By Guido Bacciagaluppi, Faculty of Philosophy, University of Cambridge, Sidgwick Avenue, Cambridge CB3 9DA, UK E-mail: gb120@ cus.cam.ac.uk

Add to Reading List

Source URL: www.poco.phy.cam.ac.uk

Language: English - Date: 2004-12-07 06:36:47
46Boolean algebra / Semantics / Logical connectives / Material conditional / Relevance logic / Proposition / Truth table / Negation / Modal logic / Logic / Propositional calculus / Philosophical logic

Some Remarks on Stoic Logic Nino B. Cocchiarella For Class 1 C Students of Professor Giuseppe Addona Stoicism is an ancient school of philosophy. It was founded by Zeno of Citium in Cyprus around 300 B.C. Except for frag

Add to Reading List

Source URL: www.ontologysa.com

Language: English - Date: 2013-05-04 01:08:02
47Boolean algebra / Semantics / Logical connectives / Material conditional / Relevance logic / Proposition / Truth table / Negation / Modal logic / Logic / Propositional calculus / Philosophical logic

Some Remarks on Stoic Logic Nino B. Cocchiarella For Class 1 C Students of Professor Giuseppe Addona Stoicism is an ancient school of philosophy. It was founded by Zeno of Citium in Cyprus around 300 B.C. Except for frag

Add to Reading List

Source URL: www.ontologyafrica.com

Language: English - Date: 2013-04-30 14:53:00
48Boolean algebra / Semantics / Logical connectives / Material conditional / Relevance logic / Proposition / Truth table / Negation / Modal logic / Logic / Propositional calculus / Philosophical logic

Some Remarks on Stoic Logic Nino B. Cocchiarella For Class 1 C Students of Professor Giuseppe Addona Stoicism is an ancient school of philosophy. It was founded by Zeno of Citium in Cyprus around 300 B.C. Except for frag

Add to Reading List

Source URL: www.ontologyasia.com

Language: English - Date: 2013-05-01 04:11:18
49Modal logic / Homological algebra / Complex analysis / Pi / Mathematics

SAMPLE ROAD MAP FOR CREDENTIAL PROGRAM IN MATHEMATICS CLASS OF[removed]starting as a freshman in Fall[removed]Credential program students must take: Math 75, 76, 77, 101, 111, 116, 143, 145, 149, 151, 152, 161, 171, 128 or 1

Add to Reading List

Source URL: www.csufresno.edu

Language: English - Date: 2012-06-13 16:21:42
50Modal logic / Homological algebra / Complex analysis / Pi / Mathematics

SAMPLE ROAD MAP FOR CREDENTIAL PROGRAM IN MATHEMATICS CLASS OF[removed]starting as a freshman in Fall[removed]Credential program students must take: Math 75, 76, 77, 101, 111, 116, 143, 145, 149, 151, 152, 161, 171, 128 or 1

Add to Reading List

Source URL: www.csufresno.edu

Language: English - Date: 2012-06-13 16:21:40
UPDATE